No need to repeat those formula manipulations in the article Monty Hall problem.
2.
*Jean E . Sammet, " The beginning and development of FORMAC ( FORmula MAnipulation Compiler ) ", " Proceedings of HOPL-II, The second ACM SIGPLAN conference on History of programming languages ", p . 209-230, 1993 ISBN 0-89791-570-4
3.
Van de Riet received his PhD in computer science at the University of Amsterdam in 1968 under supervision of Adriaan van Wijngaarden for the thesis, entitled " Algol 60 as Formula Manipulation Language . " In 1970 he was appointed Professor Information Systems at the VU University Amsterdam, where he retired August 2000.
4.
But solving MHP by going back to formal definitions followed by either lengthy formula manipulation or arithmetic does not give insight into MHP; it just shows that formal mathematics is not always the best tool for solving a conundrum, though of course it is always available, perhaps as a last resort . talk ) 08 : 48, 2 March 2011 ( UTC ).
मोबाइल